public/event_channel.h: correct comment
authorPeng Fan <van.freenix@gmail.com>
Wed, 25 Nov 2015 16:26:09 +0000 (17:26 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 25 Nov 2015 16:26:09 +0000 (17:26 +0100)
commit713b7e4ef2aa4ec3ae697cde9c81d5a57548f9b1
tree09e661ae9742bbe8d0fe18a0aa5fd2464cefd198
parentd380b3559734739ae009cd3c0e9aabb5602863e2
public/event_channel.h: correct comment

According to definition of structure evtchn_alloc_unbound,
there is an entry "domid_t remote_dom", no "rdom". So
using "remote_dom" in comments instead of "rdom".

Signed-off-by: Peng Fan <van.freenix@gmail.com>
xen/include/public/event_channel.h